Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.toยท10hยท
Discuss: DEV
๐ŸŒŠApache Kafka
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.comยท2d
โœ…Format Validation
Implicit `operator bool` participates in comparison
quuxplusone.github.ioยท19h
๐Ÿฆ€Rust Verification
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท1d
๐Ÿ”—Functional Compilers
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท19hยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution